and State - PDFSEARCH.IO - Document Search Engine

and State
Results: 411728

#	Item
21	A Breadth-First Course in Multicore and Manycore Programming Suzanne Rivoire Sonoma State University March 12, 2010 Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:45:13 Parallel computing Computing Computer programming IT infrastructure Manycore processor Multi-core processor OpenMP
22	Selfless Interpolation for Infinite-State Model Checking? Tanja Schindler1 and Dejan Jovanovi´c2 1 University of Freiburg Add to Reading List Source URL: csl.sri.com Language: English - Date: 2018-04-25 11:34:43 Mathematics Theoretical computer science Mathematical logic Lemmas Model theory Interpolation Logic in computer science Craig interpolation Satisfiability modulo theories Farkas' lemma Quantifier elimination First-order logic
23	Statewide Issue for the November 6, 2018 General Election BALLOT LANGUAGE Issue 1 To Reduce Penalties for Crimes of Obtaining, Possessing, and Add to Reading List Source URL: www.sos.state.oh.us Language: English - Date: 2018-09-12 10:21:10 Criminal law Law Crime Criminology Probation Misdemeanor Felony Prohibition of drugs Sexual assault Recidivism United States federal probation and supervised release Expungement in the United States
24	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Add to Reading List Source URL: csl.sri.com Language: English - Date: 2018-04-25 11:34:42 Algorithm Mathematical logic Theoretical computer science IP Model checking Mathematics Machine learning
25	Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions Son Ho1 , Oskar Abrahamsson2 , Ramana Kumar3 , Magnus O. Myreen2 , Yong Kiam Tan4 , and Michael Norrish5 1 Add to Reading List Source URL: cakeml.org Language: English - Date: 2018-04-24 22:00:10 Software engineering Computer programming Computing Functional programming Subroutines Programming idioms Theoretical computer science Functional languages Monad Standard ML Eval Algorithm
26	Modeling and Monitoring of Hierarchical State Machines in Scala? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov Add to Reading List Source URL: rjoshi.org Language: English - Date: 2018-01-10 13:23:58 Computing Software engineering Models of computation UML state machine State diagram HSM Scala
27	Elaine F. Marshall, Secretary of State Local Government Liaison Registration and Unit Authorization StatementNO REGISTRATION FEE REQUIRED Add to Reading List Source URL: lobby.ncsbe.gov Language: English - Date: 2018-09-06 09:07:46 Lobbying in the United States Lobbying Liaison Public sphere Culture
28	Franklin County Children Services (FCCS) is a public agency mandated by federal and state law to protect children and strengthen families. The agency is committed to making sure that every child has a safe and stable hom Add to Reading List Source URL: childrenservices.franklincountyohio.gov Language: English - Date: 2018-03-08 15:10:04 Child welfare Childhood Social work Child abuse Family Welfare Child Protective Services Foster care Law enforcement in the United States Child and family services Abuse Mandatory reporting in the United States
29	Voter Registration and Information Update Form Add to Reading List Source URL: www.sos.state.oh.us Language: English - Date: 2017-06-12 14:45:19 Elections Voting Politics Government Voter registration Voter Identification laws Absentee ballot Provisional ballot Jennifer Brunner Helios Voting
30	Egalitarian Society or Benevolent Dictatorship: The State of Cryptocurrency Governance Sarah Azouvi, Mary Maller, and Sarah Meiklejohn University College London {sarah.azouvi.13,mary.maller.15,s.meiklejohn}@ucl.ac.uk Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Cryptocurrencies Blockchains Ethereum Cross-platform software Concurrent computing Distributed computing Computing Alternative currencies Bitcoin Satoshi Nakamoto The DAO Smart contract

UPDATE